$\forall$$L$:Top List, $R$:Top. [[$\oplus$$x$$\in$$L$.$R$($x$)]] $\sim$ reduce($\lambda$$x$,$y$. [[$R$($x$)]] $\oplus$ $y$;;$L$)